package main.java.ERMDE.application;

public interface IShell {
	void setLeftContent(Object c);

	void setRightContent(Object c);

	void activateFullSize();
}
